Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model Alexander Heußner University of Bamberg, Germany Christopher M. Poskitt Claudio Corrodi

Source URL: se.inf.ethz.ch

• Software engineering
• Software
• Computing
• Parallel computing
• Object-oriented programming languages
• Object-oriented programming
• Concurrent programming languages
• Concurrent computing
• Edsger W. Dijkstra
• SCOOP
• Concurrency
• EiffelStudio

Risk During Off-Campus Academic Experiences 12 November 2013 Model for Review of Off-Campus Academic Experiences within the USA The process for review of off-campus domestic academic experiences is designed to provide a

Source URL: engineering.vanderbilt.edu

Developing a Reflective Model of Collaborative Systems PAUL DOURISH Rank Xerox Research Centre

Source URL: www.dourish.com

• Computing
• Software engineering
• Computer programming
• Humancomputer interaction
• Object-oriented programming
• Lisp
• Object
• Metaobject
• Common Lisp Object System
• Paul Dourish
• Genera
• Systems design

Partial Observability During Predictions of the Opponent’s Movements in an RTS Game Simon Butler, Member, IEEE, and Yiannis Demiris, Senior Member, IEEE Abstract— In RTS-style games it is important to be able to pred

Source URL: game.itu.dk

• Engineering
• Scientific method
• Science and technology
• Philosophy of science
• Control theory
• Futurology
• Prediction
• Internal model
• Scientific theory
• Economic model
• Reliability engineering
• Theory

Performative Code: Strategies for Live Coding Graphics Shawn Lawson Rensselaer Polytechnic Institute ABSTRACT

Source URL: www.shawnlawson.com

• Computing
• Software engineering
• Computer programming
• Cross-platform software
• 3D computer graphics
• OpenGL
• Vertex
• Tegra
• D
• Vertex Buffer Object
• BlinnPhong shading model

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical

Source URL: se.inf.ethz.ch

• Computing
• Software engineering
• Java platform
• Persistence
• Eiffel
• Object-oriented programming
• Db4o
• Attribute
• Java Platform
• Standard Edition
• Java version history
• Class invariant
• Constructor

Supporting Stakeholders in the MDA Process Keith Phalp, Sheridan Jeary, Jonathan Vincent, John Mathenge Kanyaru, & Simon Crowle Software Systems Modelling Group, Bournemouth University, Poole, Dorset. BH12 5BB

Source URL: vide.tnmsoft.de

• Software engineering
• Unified Modeling Language
• Systems engineering
• Computing
• Engineering
• Model-driven architecture
• Objecteering
• Business requirements
• Platform-specific model
• Object Process Methodology
• Business analyst
• Enterprise Architect

The P roject  §  The VI DE P roject funded under EU Sixth Framew ork  P rogramme  §  Priority: IST­2005­2.5.5 Software and Services  §  Title: Visualize all moDel drivEn programming 

Source URL: vide.tnmsoft.de

• Fraunhofer Society
• Business process modeling
• German Research Centre for Artificial Intelligence
• Scientific modelling
• Systems engineering

Software and System Engineering for Cyber-Physical Systems: technical challenges and collaboration opportunities 26 January 2016 – IRIT Toulouse http://www.cpse-labs.eu/news_item6.php Workshop goals

Source URL: www.erts2016.org

• Engineering
• Computing
• Technology
• Computer systems
• Systems engineering
• Cyber-physical system
• Systems Modeling Language
• Internet of things
• Object Process Methodology
• Computer security
• Model-based testing
• Systems design

SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-ISTVIsualize all moDel drivEn programming VIDE

Source URL: vide.tnmsoft.de

• Software development
• Aspect-oriented software development
• Software engineering
• Aspect-oriented programming
• Model-driven architecture
• Platform-specific model
• Aspect
• Join point
• Pointcut
• Metamodeling
• Cross-cutting concern